package com.whu.gmatch;

import org.jgrapht.graph.DefaultEdge;

public class LabelEdge extends DefaultEdge{
	
	public LabelVertex getSource(){
		return (LabelVertex)super.getSource();
	}

	public LabelVertex getTarget(){
		return (LabelVertex)super.getTarget();
	}
}
